package server;

public class ClusterMessage_TerminateTask extends ClusterMessage {

	/**
	 * 
	 */
	private static final long serialVersionUID = -5649229733815775595L;

	private Integer SenderID;
	
	private Integer TaskID;
	
//------------------------------------------------------------------------	
	
	public Integer getSenderID() {
		return SenderID;
	}

	public ClusterMessageType getType() {
		return ClusterMessageType.TERMINATE_TASK;
	}

	public void setSenderID(Integer MachineID) {
		SenderID = MachineID;
	}

	public Integer getTaskID() {
		return TaskID;
	}

	public void setTaskID(Integer taskID) {
		TaskID = taskID;
	}
}
